Diclib.com
Wörterbuch ChatGPT

Wörterbuchsuche Kundenspezifische Lösungen

Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆

Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

wie das Wort verwendet wird
Häufigkeit der Nutzung
es wird häufiger in mündlicher oder schriftlicher Rede verwendet
Wortübersetzungsoptionen
Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
Etymologie

second order complexity - Übersetzung nach russisch

EXTENSION OF FIRST-ORDER LOGIC ALLOWING QUANTIFICATION OVER FUNCTIONS AND RELATIONS

Second order logic; Second Order Logical Language; Second Order Logic; Second-order predicate calculus; Second order predicate calculus; Henkin model; Existential second-order logic; Henkin semantics; Monadic second order; History of second-order logic; Semantics of second-order logic

second order complexity

сложность второго порядка

complexity

PROFESSIONAL ESPORTS ORGANIZATION BASED IN THE UNITED STATES

Los Angeles Complexity; CompLexity Gaming; LA Complexity; Complexity LA; CompLexity; Team CompLexity; CoL.Black; CoL

сложность - algebraic complexity
- algorithmic complexity
- arithmetic complexity
- cipher-breaking complexity
- circuit complexity
- combinational complexity
- communication complexity
- computational complexity
- correlation-immunity complexity
- cryptoanalitic complexity
- deterministic complexity
- exponential complexity
- exponential time complexity
- first order complexity
- functional complexity
- information-based complexity
- intractable computational complexity
- Kolmogorov complexity
- linear complexity
- maximal order complexity
- multiplicative complexity
- polynomial complexity
- polynomial time complexity
- quadratic complexity
- second order complexity
- software complexity
- space complexity
- state complexity
- stochastic complexity
- structural complexity
- time complexity
- time-space complexity
- worst-case complexity
- Ziv-Lempel complexity

asymptotic complexity

MEASURE OF THE AMOUNT OF RESOURCES NEEDED TO RUN AN ALGORITHM OR SOLVE A COMPUTATIONAL PROBLEM

Asymptotic complexity; Computational Complexity; Bit complexity; Context of computational complexity; Complexity of computation (bit); Computational complexities

математика

асимптотическая сложность

Definition

Быстродействие

цифровой вычислительной машины (ЦВМ), среднестатистическое число операций (кроме операций ввода, вывода и обращения к внешним запоминающим устройствам), выполняемых вычислительной машиной в единицу времени (номинальное Б.); один из основных параметров ЦВМ, характеризующий её производительность. Например, среднее Б. ЦВМ "Урал-11" - 50 тыс. операций в 1 сек, а БЭСМ-6, предназначенной для решения широкого круга сложных задач науки, техники и народного хозяйства, 1 млн. операций в 1 сек. Б. с учётом средних затрат времени на ввод, вывод, обмен информацией с внешним запоминающим устройством, а также на контроль работы машины называется эффективным Б.

Эффективное Б. (V_э) связано с номинальным (V_н) соотношением: V_э = vV_н, где v - некоторый обобщённый коэффициент, учитывающий влияние медленно действующих устройств, логическую структуру машины, особенности системы команд, влияние надёжности ЦВМ и потери за счёт контрольных процедур и диагностико-восстановительных мероприятий. Как правило, значение этого коэффициента зависит от типа задач, каждому из которых соответствует своё V_э.

Иногда Б. определяется числом операций "сложение" или "умножение", например управляющая ЦВМ ВНИИЭМ-3 выполняет эти операции со скоростью 40 000 и 16 000 операций в 1 сек соответственно. Кроме указанных, существует также способ оценки Б. ЦВМ по количеству типовых задач, решаемых машиной в единицу времени.

И. А. Данильченко.

Weitere Definitionen anzeigen

Wikipedia

Second-order logic

In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.

First-order logic quantifies only variables that range over individuals (elements of the domain of discourse); second-order logic, in addition, also quantifies over relations. For example, the second-order sentence $\forall P\,\forall x(Px\lor \neg Px)$ says that for every formula P, and every individual x, either Px is true or not(Px) is true (this is the law of excluded middle). Second-order logic also includes quantification over sets, functions, and other variables (see section below). Both first-order and second-order logic use the idea of a domain of discourse (often called simply the "domain" or the "universe"). The domain is a set over which individual elements may be quantified.

https://en.wikipedia.org/wiki/Second-order logic

Übersetzung von &#39second order complexity&#39 in Russisch